package sketch.specs.values;

import org.eclipse.jdt.core.dom.Expression;
import org.eclipse.jdt.core.dom.VariableDeclarationFragment;

import sketch.generator.ValueGenerator;

public class ExhaustiveValueDeclaration extends AbstractValueDeclaration {

	public ExhaustiveValueDeclaration(VariableDeclarationFragment fragment) {
		super(fragment);
	}

	@Override
	public ValueGenerator<Expression> getValueGenerator() {
		throw new UnsupportedOperationException("NOt implemented yet!");
	}

}
